type Exp[A, B] = Lan[(A, ?), I, B]